地面集 E 是二部图的边集。M₁ 要求每个左侧顶点最多关联一条选中边；M₂ 要求每个右侧顶点最多关联一条选中边。公共独立集就是匹配。程序按“当前公共独立集 → 可加入边 → 增广序列 → 对称差更新”的步骤演示。